41. Distributed programming : theory and practice
Author: / A. Udaya Shankar
Library: Campus International Library of Kish University of Tehran (Hormozgan)
Subject: Computer science,Software engineering,Logic design
Classification :
QA76
.
6
42. ESPRIT '90 :
Author: Commission of the European Communities. Directorate-General for Telecommunications, Information Industries, and Innovation.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Computer science.
43. Embedded software :
Author: Colin Walls.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Embedded computer systems-- Programming.,Systèmes enfouis (Informatique)-- Programmation.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Embedded computer systems-- Programming.
Classification :
TK7895
.
E42
W35
2006eb
44. Encyclopedia of Computer Science and Technology /
Author: edited by Phillip A. Laplante.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information technology, Encyclopedias.,Computation.,Networks.,Software Engineering & Systems Development.,Information technology.
Classification :
T58
.
5
.
E53
2017
45. Engineering trustworthy software systems :
Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
758
46. Evolving knowledge bases :
Author: João Alexandre Leite.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Expert systems (Computer science),Logic programming.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Expert systems (Computer science),Logic programming.
Classification :
QA76
.
63
.
L48
2003eb
47. Fields of Logic and Computation II
Author: \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
76
.
9
.
L63
F54
2015
E-Book
,
48. Formal Methods and Software Engineering :
Author: Toshiaki Aoki ... (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fehlertoleranz.,Formale Methode.,Model Checking.
Classification :
QA76
.
9
.
F67
T674
2012
49. Formal Methods in Programming and Their Applications :
Author: edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
E358
1993
50. Formal aspects of component software :
Author: Kyungmin Bae, Peter Csaba Ölveczky (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
51. Formal methods :
Author: Tiago Massoni, Mohammad Reza Mousavi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
52. Formal methods and software engineering :
Author: Shengchao Qin, Zongyan Qiu (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses,Software engineering, Congresses,Formal methods (Computer science)-- Congresses,Software engineering-- Congresses
Classification :
QA76
.
9
.
F67
I34
2011
53. Formal methods and software engineering :
Author: Jing Sun, Meng Sun (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
9
.
F67
54. Formal methods, foundations and applications :
Author: Adenilso Simao, Carroll Morgan (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
F67
B73
2011
55. Formal modeling :
Author: Gul Agha, Olivier Danvy, José Meseguer. (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
Classification :
QA76
.
9
.
F67
F67
2011
56. Formal modeling and analysis of timed systems :
Author: David N. Jansen, Pavithra Prabhakar (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
Classification :
QA76
.
9
.
F67
57. Formal modeling and analysis of timed systems :
Author: Uli Fahrenberg, Stavros Tripakis (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
Classification :
QA76
.
9
.
C65
F67
2011
58. Formalization of Programming Concepts:
Author: J Diaz
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Software engineering.
Classification :
QA76
.
6
J353
1981
59. Foundations of computer science /
Author: Behrouz Forouzan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer science.,Informatique-- Manuels d'enseignement supérieur.
Classification :
QA76
.
F623
2018
60. Foundations of software science and computation structures :
Author: Christel Baier, Ugo Dal Lago (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
751
.
F67
2018eb
